Advances in Model and Data Engineering in the Digitalization Era : MEDI 2021 International Workshops : DETECT, SIAS, CSMML, BIOC, HEDA, Tallinn, Estonia, June 21–23, 2021 : proceedings2021 https://doi.org/10.1007/978-3-030-87657-9

Journal of logical and algebraic methods in programming. Vol. 85, iss. 6, NWPT 20132016

System assurances : modeling and management2022 https://doi.org/10.1016/C2020-0-03092-6

The journal of logic and algebraic programming2010 https://www.ester.ee/record=b1200932*est

31st Nordic Workshop on Programming Theory, NWPT 2019, Tallinn, Estonia, 13-15 November 2019 : abstracts [Online resource]2019 https://doi.org/10.23658/taltech.nwpt/2019 https://www.ester.ee/record=b5292609*est

25th Nordic Workshop on Programming Theory NWPT 2013 : Tallinn, Estonia, 20-22 November 2013 : abstracts [Electronic resource]2013 https://www.ester.ee/record=b3039924*est